程序设计逻辑证明logic: n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理 ...proof: n. 1.证明;证据;【法律】证件;【法律】(口头或书面 ...logic of programming: 程序设计逻辑logic programming: 逻辑编程; 逻辑程式设计 [逻辑程序设计; 逻辑程序设计programming in logic: prolog语言; 逻辑编程; 逻辑程序设计语言下载手机词典可随时随地查词查翻译